Search Results
Lamport TLA+ Course Lecture 5: Transaction Commit (HD)
Lamport TLA+ Course Lecture 6: Two-Phase Commit (HD)
Lamport TLA+ Course Lecture 1: Introduction to TLA+ (HD)
Lamport TLA+ Course Lecture 4: Die Hard (HD)
Lamport TLA+ Course Lecture 8: Paxos Commit Part 2: How it Works (HD)
Lamport TLA+ Course Lecture 3: Resources and Tools (HD)
Lamport TLA+ Course Lecture 2: State Machines in TLA+ (HD)
Ron Pressler - The Practice and Theory of TLA+
2PC
TLA+: Fuzz Testing for Everyone #shorts
TLA+: Viewed from 40,000 Feet and Ground Level
Ask the expert - Thinking Mathematically Above The Code Level | Leslie Lamport | Code Mesh V 20
